https://dasbestelexikon.de/en/wiki/Heads_of_State_of_East_Germany